<%@ page language="java" import="java.util.*" pageEncoding="UTF-8"%>
<%@taglib prefix="c" uri="http://java.sun.com/jstl/core_rt"%>
<%
String path = request.getContextPath();
String basePath = request.getScheme()+"://"+request.getServerName()+":"+request.getServerPort()+path+"/";
%>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
	<head>
		<title>登陆用户</title>
		<base href="<%=basePath%>">
		<style type="text/css">
			.nav_top_2011{
				width:auto; min-width:300px; height:30px; margin:0 0 0 0;
				padding: 6px 6px 0 6px;
				background:#fff;
			}
		</style>
	</head>

	<body style="margin: 0 0 0 0;">
		<div class="nav_top_2011" style="background-color: #F5F5F5;border: 1px;" >
			<span style="float: left;width: 50px;">
				<a href="/excavator">首页</a>
			</span>
			<span style="float: right;">
				<c:if test="${sessionLoginUser != null}">
						用户名：<span style="color: red;">${sessionLoginUser.userName}</span>
						|
						<a href="logout">注销</a>
				</c:if>
				<c:if test="${sessionLoginUser == null}">
					<a href="luceneLogin">登陆</a>
				</c:if>
			</span>
			
		</div>
	</body>
</html>
